Knowledge base modelling based on linguistics and founded in logic
نویسندگان
چکیده
Knowledge Base Systems should in principle be able to store and manipulate any sort of knowledge, including vague (indefinite) knowledge, knowledge about events and obligations and knowledge about temporal aspects. In this paper a language, CPL, is introduced in which all these different kinds of knowledge can be expressed. This language is based on the linguistic theory of Functional Grammar. The semantics of this language is based on a logical interpretation of the language structures, for which we use five different forms of logic: predicate, modal, deontic, dynamic and temporal logic. Inferences, based on these logics, that can be made within this language, are shown.
منابع مشابه
Predicate Logic as a Modelling Language: The IDP System
With the technology of the time, Kowalski’s seminal 1974 paper Predicate Logic as a Programming Language was a breakthrough for the use of logic in computer science. It introduced two fundamental ideas: on the declarative side, the use of the Horn clause logic fragment of classical logic, which was soon extended with negation as failure, on the procedural side the procedural interpretation whic...
متن کاملCombining description and similarity logics
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologies or knowledge bases which describe the existing relationships among terms. Description logic (DL) has become one of the most successful formalisms for representing such knowledge bases, in particular because theoretically ...
متن کاملWell-founded operators for normal hybrid MKNF knowledge bases
Hybrid MKNF knowledge bases have been considered one of the dominant approaches to combining open world ontology languages with closed world rule-based languages. Currently, the only known inference methods are based on the approach of guess-and-verify, while most modern SAT/ASP solvers are built under the DPLL architecture. The central impediment here is that it is not clear what constitutes a...
متن کاملIntelligent Multi-agent Fuzzy Control System under Uncertainty
The traditional control systems are a set of hardware and software infrastructure domain and qualified personnel to facilitate the functions of analysis, planning, decision-making, management and coordination of business processes. Human interaction with the components of these systems is done using a specified in advance script dialogue "menu", mainly based on human intellect and unproductive ...
متن کاملAdvanced Modelling of Complex Processes by Fuzzy Networks
This work presents an application of the novel theory of rule based networks for building models of processes characterised by uncertainty, non-linearity, modular structure and internal interactions. The application of the theory is demonstrated for a flotation process in the context of converting a multiple rule based system into an equivalent single rule based system by linguistic composition...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Data Knowl. Eng.
دوره 7 شماره
صفحات -
تاریخ انتشار 1991